Hartimo, I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Radical Besinnung in Formale und transzendentale Logik (1929)

Journal:

Husserl Studies

Year:

2018

Language:

english

File:

PDF, 777 KB

english, 2018

2

Burt C. Hopkins: The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein

Journal:

Husserl Studies

Year:

2013

Language:

english

File:

PDF, 132 KB

english, 2013

3

Mathematical roots of phenomenology: Husserl and the concept of number

Journal:

History and Philosophy of Logic

Year:

2006

Language:

english

File:

PDF, 180 KB

english, 2006

4

Husserl on completeness, definitely

Journal:

Year:

2016

Language:

english

File:

PDF, 516 KB

english, 2016

5

Husserl and the Algebra of Logic: Husserl’s 1896 Lectures

Journal:

Year:

2012

Language:

english

File:

PDF, 248 KB

english, 2012

6

From geometry to phenomenology

Mirja Helena Hartimo

Journal:

Year:

2008

Language:

english

File:

PDF, 139 KB

english, 2008

7

Towards Completeness: Husserl on Theories of Manifolds 1890-1901

Mirja Helena Hartimo

Journal:

Year:

2007

Language:

english

File:

PDF, 3.91 MB

english, 2007

8

Husserl on Kant and the critical view of logic

Journal:

Inquiry (Taylor & Francis)

Year:

2019

Language:

english

File:

PDF, 1.29 MB

english, 2019

9

Husserl's Pluralistic Phenomenology of Mathematics

Journal:

Philosophia Mathematica

Year:

2012

Language:

english

File:

PDF, 175 KB

english, 2012

10

[Phaenomenologica] Phenomenology and Mathematics Volume 195 ||

Year:

2010

Language:

english

File:

PDF, 1.69 MB

english, 2010

11

From Geometry to Phenomenology

Mirja Helena Hartimo

Journal:

Year:

2008

Language:

english

File:

PDF, 1.28 MB

english, 2008

12

DFSP: A Data Flow Signal Processor

Hartimo, I., Kronlof, K., Simula, O., Skytta, J.

Journal:

IEEE Transactions on Computers

Year:

1986

Language:

english

File:

PDF, 3.20 MB

english, 1986

13

Logic as a Universal Medium or Logic as a Calculus? Husserl and the Presuppositions of “the Ultimate Presupposition of Twentieth Century Philosophy”

Journal:

The Southern Journal of Philosophy

Year:

2006

Language:

english

File:

PDF, 747 KB

english, 2006

14

Husserl's Pluralistic Phenomenology of Mathematics

Journal:

Philosophia Mathematica

Year:

2012

Language:

english

File:

PDF, 180 KB

english, 2012

15

Delta operator realizations of direct-form IIR filters

Kauraniemi, J., Laakso, T.I., Hartimo, I., Ovaska, S.J.

Journal:

IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing

Year:

1998

Language:

english

File:

PDF, 435 KB

english, 1998

16

Jonathan Barnes. Truth, etc. Oxford University Press, Oxford, New York, 2007, viii + 568 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2007

File:

PDF, 79 KB

2007

17

Lowpass IIR Predictors for Discrete-Time Signal Processing

J.A. Honkanen, T.I. Laakso, S.J. Ovaska, I.O. Hartimo

Journal:

Digital Signal Processing

Year:

1995

File:

PDF, 458 KB

1995

18

Towards completeness: Husserl on theories of manifolds 1890–1901

Mirja Helena Hartimo

Journal:

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

19

Comments on "A Stable, Two-Multiplies-per-Cycle Algorithm for Digital Generation of Sinusoids in Real Time"

Hartimo, I., Ojala, L.

Journal:

IEEE Transactions on Computers

Year:

1979

Language:

english

File:

PDF, 170 KB

english, 1979

20

Adaptive closed-loop power control algorithms for CDMA cellular communication systems

Rintamaki, M., Koivo, H., Hartimo, I.

Journal:

IEEE Transactions on Vehicular Technology

Year:

2004

Language:

english

File:

PDF, 564 KB

english, 2004

21

Noise reduction in recursive digital filters using high-order error feedback

Laakso, T.I., Hartimo, I.O.

Journal:

IEEE Transactions on Signal Processing

Year:

1992

Language:

english

File:

PDF, 1.18 MB

english, 1992

22

[Phaenomenologica] Phenomenology and Mathematics Volume 195 || Platonism, Phenomenology, And Interderivability

Year:

2010

Language:

english

File:

PDF, 366 KB

english, 2010

23

[IEEE Gateway to 21st Century Communications Village. VTC 1999-Fall. IEEE VTS 50th Vehicular Technology Conference (Cat. No.99CH36324) - Amsterdam, Netherlands (1999.09.19-1999.09.22)] Gateway to 21st Century Communications Village. VTC 1999-Fall. IEEE VTS 50th Vehicular Technology Conference (Cat. No.99CH36324) - Multipath channel estimation for WCDMA uplink

Aiping Huang,, Hall, M., Hartimo, I.

Year:

1999

Language:

english

File:

PDF, 296 KB

english, 1999

24

[IEEE MELECON '94. Mediterranean Electrotechnical Conference - Antalya, Turkey (12-14 April 1994)] Proceedings of MELECON '94. Mediterranean Electrotechnical Conference - Systolic architectures for computing 2-D DCT based on CORDIC techniques

Ling Wang,, Hartimo, I.

Year:

1994

Language:

english

File:

PDF, 216 KB

english, 1994

25

[IEEE Computers in Cardiology 1997 - Lund, Sweden (7-10 Sept. 1997)] Computers in Cardiology 1997 - Heart sound segmentation algorithm based on heart sound envelogram

Liang, H., Lukkarinen, S., Hartimo, I.

Year:

1997

Language:

english

File:

PDF, 394 KB

english, 1997

26

[IEEE 20th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Vol.20 Biomedical Engineering Towards the Year 2000 and Beyond - Hong Kong, China (29 Oct.-1 Nov. 1998)] Proceedings of the 20th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Vol.20 Biomedical Engineering Towards the Year 2000 and Beyond (Cat. No.98CH36286) - A heart sound feature extraction algorithm based on wavelet decomposition and reconstruction

Liang, H., Hartimo, I.

Year:

1998

Language:

english

File:

PDF, 346 KB

english, 1998

27

Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. xxii + 232. ISBN 978-90-481-3245-4

Journal:

Philosophia Mathematica

Year:

2010

Language:

english

File:

PDF, 61 KB

english, 2010

28

[IEEE IEEE International Symposium on Circuits and Systems - Portland, OR, USA (8-11 May 1989)] IEEE International Symposium on Circuits and Systems - Determining the optimal coefficients of high-order error feedback

Laakso, T., Hartimo, I.

Year:

1989

Language:

english

File:

PDF, 307 KB

english, 1989

29

[IEEE 1988., IEEE International Symposium on Circuits and Systems - Espoo, Finland (7-9 June 1988)] 1988., IEEE International Symposium on Circuits and Systems - Direct form revisited: recursive filter implementation using higher-order direct form sections

Laakso, T., Hartimo, I.

Year:

1988

File:

PDF, 446 KB

1988

30

[IEEE The Digital Signal Processing workshop - Utica, IL (September 13-16, 1992)] The Digital Signal Processing workshop - A alternative Systolic Array for Qrd-Rls Adaptive System Identification

Wang, L., Hartimo, I.

Year:

1992

Language:

english

File:

PDF, 134 KB

english, 1992

31

[IEEE IEEE Workshop on VLSI Signal Processing - Veldhoven, Netherlands (20-22 Oct. 1993)] Proceedings of IEEE Workshop on VLSI Signal Processing - An efficient new systolic architecture for the solution of discrete Fourier transform

Baghaie, R., Hartimo, I.

Year:

1993

Language:

english

File:

PDF, 382 KB

english, 1993

32

[IEEE 38th Midwest Symposium on Circuits and Systems. - Rio de Janeiro, Brazil (13-16 Aug. 1995)] 38th Midwest Symposium on Circuits and Systems. Proceedings - Predictive power estimation of complex-valued signals

Aiping Huang,, Laakso, T.I., Ovaska, S.J., Hartimo, I.O.

Year:

1996

Language:

english

File:

PDF, 394 KB

english, 1996

33

[IEEE The Digital Signal Processing workshop - Utica, IL (September 13-16, 1992)] The Digital Signal Processing workshop - Reduced Hardware Systolic Solutions to the Discrete Hartley Transform

Wang, L., Hartimo, I.

Year:

1992

Language:

english

File:

PDF, 158 KB

english, 1992

34

[IEEE International Conference on Neural Networks (ICNN'96) - Washington, DC, USA (3-6 June 1996)] Proceedings of International Conference on Neural Networks (ICNN'96) - Speech signal restoration using an optimal neural network structure

Xiao-Ming Gao,, Ovaska, S.J., Hartimo, Z.O.

Year:

1996

Language:

english

File:

PDF, 394 KB

english, 1996

35

[IEEE 33rd Midwest Symposium on Circuits and Systems - Calgary, Alta., Canada (12-14 Aug. 1990)] Proceedings of the 33rd Midwest Symposium on Circuits and Systems - Elimination of limit cycles in floating-point recursive digital filters with error feedback

Laakso, T., Zeng, B., Hartimo, I., Neuvo, Y.

Year:

1991

Language:

english

File:

PDF, 431 KB

english, 1991

36

Elimination of zero-input and constant-input limit cycles in single-quantizer recursive filter structures

Laakso, T.I., Diniz, P.S.R., Hartimo, I., Macedo, T.C.

Journal:

IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing

Year:

1992

Language:

english

File:

PDF, 992 KB

english, 1992

37

[Institute of Electrical and Electronics Engineers IEEE International Conference on Acoustics, Speech, and Signal Processing - Paris, France (May 1982)] ICASSP '82. IEEE International Conference on Acoustics, Speech, and Signal Processing - Performance of an experimental data flow architecture for signal processing

Kronlof, K., Skytta, J., Hartimo, I., Simula, O.

Year:

1982

Language:

english

File:

PDF, 139 KB

english, 1982

38

[Institute of Electrical and Electronics Engineers IEEE International Conference on Acoustics, Speech, and Signal Processing - Boston, MASS, USA (April 1983)] ICASSP '83. IEEE International Conference on Acoustics, Speech, and Signal Processing - Self-sustained stable oscillations of second order recursive algorithms

Year:

1983

Language:

english

File:

PDF, 79 KB

english, 1983

39

[IEEE 1988., IEEE International Symposium on Circuits and Systems - Espoo, Finland (7-9 June 1988)] 1988., IEEE International Symposium on Circuits and Systems - Signal processor code generation: an analytic study and practical consideration

Hyvarinen, O., Honkanen, J., Sairanen, J.-P., Hartimo, I., Simula, O.

Year:

1988

Language:

english

File:

PDF, 371 KB

english, 1988

40

[IEEE Computers in Cardiology 1998. Vol. 25 - Cleveland, OH, USA (13-16 Sept. 1998)] Computers in Cardiology 1998. Vol. 25 (Cat. No.98CH36292) - A boundary modification method for heart sound segmentation algorithm

Liang, H., Lukkarinen, S., Hartimo, I.

Year:

1998

Language:

english

File:

PDF, 291 KB

english, 1998

41

[IEEE IEEE International Symposium on Circuits and Systems - New Orleans, LA, USA (1-3 May 1990)] IEEE International Symposium on Circuits and Systems - Automatic signal processor code generation: matrix reduction based module optimization

Reichler, T., Hartimo, I., Jaatinen, J.

Year:

1990

Language:

english

File:

PDF, 370 KB

english, 1990

42

[IEEE [Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing - Toronto, Ont., Canada (1991.04.14-1991.04.17)] [Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing - General criterion for the absence of limit cycles in filter structures with a single quantizer

Laasko, T., Diniz, P.S.R., Hartimo, I.

Year:

1991

Language:

english

File:

PDF, 712 KB

english, 1991

43

[IEEE ICSIPNN '94. International Conference on Speech, Image Processing and Neural Networks - Hong Kong (13-16 April 1994)] Proceedings of ICSIPNN '94. International Conference on Speech, Image Processing and Neural Networks - Systolic array for binary multiplier

Wang, L., Hartimo, I.

Year:

1994

Language:

english

File:

PDF, 178 KB

english, 1994

44

[IEEE 1991., IEEE International Sympoisum on Circuits and Systems - Singapore (11-14 June 1991)] 1991., IEEE International Sympoisum on Circuits and Systems - Reformulation of Chang's criterion for the absence of limit cycles using bilinear transform

Macedo, T.C., Laakso, T., Diniz, P.S.R., Hartimo, I.

Year:

1991

Language:

english

File:

PDF, 411 KB

english, 1991

45

Elimination of limit cycles in floating-point implementations of direct-form recursive digital filters

Laakso, T., Zeng, B., Hartimo, I., Neuvo, Y.

Journal:

IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing

Year:

1994

Language:

english

File:

PDF, 588 KB

english, 1994

46

[IEEE [Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing - Toronto, Ont., Canada (1991.04.14-1991.04.17)] [Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing - Error feedback for floating-point cascade-form digital filters

Zeng, B., Laakso, T., Hartimo, I., Neuvo, Y.

Year:

1991

Language:

english

File:

PDF, 656 KB

english, 1991

47

[IEEE 1993 IEEE International Symposium on Circuits and Systems - Chicago, IL, USA (3-6 May 1993)] 1993 IEEE International Symposium on Circuits and Systems - Systolic array for 2D circular convolution using the Chinese remainder theorem

Wang, L., Hartimo, I.

Year:

1993

Language:

english

File:

PDF, 200 KB

english, 1993

48

Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. xxii+232. ISBN 978-90-481-3245-4

Journal:

Philosophia Mathematica

Year:

2011

Language:

english

File:

PDF, 33 KB

english, 2011

49

Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. xxii + 232. ISBN 978-90-481-3245-4

Journal:

Philosophia Mathematica

Year:

2010

Language:

english

File:

PDF, 37 KB

english, 2010

50

Systolic realisation for 1-D circular convolution using the Chinese remainder theorem

L. Wang, I. Hartimo

Year:

1993

Language:

english

File:

PDF, 306 KB

english, 1993

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски